10 results
Definability problems in elementary topology
-
- Journal:
- Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics / Volume 34 / Issue 3 / June 1983
- Published online by Cambridge University Press:
- 09 April 2009, pp. 399-420
- Print publication:
- June 1983
-
- Article
-
- You have access
- Export citation
Continuous valuation and logic
-
- Journal:
- Nagoya Mathematical Journal / Volume 85 / March 1982
- Published online by Cambridge University Press:
- 22 January 2016, pp. 175-188
- Print publication:
- March 1982
-
- Article
-
- You have access
- Export citation
Construction principle and transfinite induction up to ε0
-
- Journal:
- Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics / Volume 32 / Issue 1 / January 1982
- Published online by Cambridge University Press:
- 09 April 2009, pp. 24-47
- Print publication:
- January 1982
-
- Article
-
- You have access
- Export citation
Some properties of ordinal diagrams
-
- Journal:
- Nagoya Mathematical Journal / Volume 70 / July 1978
- Published online by Cambridge University Press:
- 22 January 2016, pp. 143-155
- Print publication:
- July 1978
-
- Article
-
- You have access
- Export citation
Reviews - Stephen Cole Kleene. Mathematical logic. John Wiley & Sons, Inc., New York, London, and Sydney, 1967, xiii + 398 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 438-440
- Print publication:
- September 1970
-
- Article
- Export citation
Toshio Nishimura. Gödel no teiri o megutte (Gödel's theorem and related topics). Sugaku, vol. 11 no. 1(1959), pp. 1–12.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 649-650
- Print publication:
- February 1970
-
- Article
- Export citation
Kensuke Takeuchi. Ziyû-daisûkei no go no mondai (The word problem of free algebras). Sûgaku, vol. 8 no. 4 (1957), pp. 218–229.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 302-303
- Print publication:
- 25 July 1969
-
- Article
- Export citation
Kempachiro Ohashi. Undecidable theorems ni tuite (On undecidable theorems). Sügaku, vol. 9 no. 2 (1957), pp. 96–97 (32-33).
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 131
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Setsuya Seki. Tyógen ronpó ni tuite (On transfinite arguments). Sûgaku, vol. 7 no. 1 (1955), p. 31.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 632
- Print publication:
- January 1969
-
- Article
- Export citation
Interpretations of set theory and ordinal number theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 145-161
- Print publication:
- August 1967
-
- Article
- Export citation